<?php if(isset($raw_username)) {$user['username']=$raw_username;} ?>